$\forall$$x$:$\mathbb{Z}$. (sign($x$) $\ast$ sign($x$)) = 1